Stanley S. Wainer : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (19)
Les plus populaires
Liste
- Liste
- Tableau

1

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A short course in ordinal analysis

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 2.19 MB

english, 1993

2

Members of countable π10 classes

Douglas Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer

Journal:

Annals of Pure and Applied Logic

Année:

1986

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1986

3

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Fragments of Kripke-Platek set theory with infinity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 921 KB

english, 1993

4

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A simplified version of local predicativity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1993

5

Predicatively unprovable termination of the Ackermannian Goodstein process

Arai, Toshiyasu, FernÃ¡ndez-Duque, David, Wainer, Stanley, Weiermann, Andreas

Journal:

Proceedings of the American Mathematical Society

Année:

2020

Fichier:

PDF, 286 KB

2020

6

Inductive definitions over a predicative arithmetic

Stanley S. Wainer, Richard S. Williams

Journal:

Annals of Pure and Applied Logic

Année:

2005

Langue:

english

Fichier:

PDF, 200 KB

english, 2005

7

Interaction of 18-methoxycoronaridine with nicotinic acetylcholine receptors in different conformational states

Hugo R. Arias, Avraham Rosenberg, Dominik Feuerbach, Katarzyna M. Targowska-Duda, Ryszard Maciejewski, Krzysztof Jozwiak, Ruin Moaddel, Stanley D. Glick, Irving W. Wainer

Journal:

Biochimica et Biophysica Acta (BBA) - Biomembranes

Année:

2010

Langue:

english

Fichier:

PDF, 905 KB

english, 2010

8

Interaction of 18-Methoxycoronaridine with Nicotinic Acetylcholine Receptors in Different Conformational States

Shamoun, Anita E., Rosenberg, Avraham, Feuerbach, Dominik, Targowska-Duda, Katarzyna M., Jozwiak, Krzysztof, Moaddel, Ruin, Glick, Stanley D., Wainer, Irving W., Arias, Hugo R.

Journal:

Biophysical Journal

Année:

2011

Langue:

english

Fichier:

PDF, 41 KB

english, 2011

9

Accessible Recursive Functions

Stanley S. Wainer

Journal:

Bulletin of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 454 KB

english, 1999

10

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory II - Proceedings of the 1977 Oslo Symposium Volume 94 || The 1-Section of a Non-Normal Type - 2 Object

Wainer, Stanley S.

Année:

1978

Langue:

english

Fichier:

PDF, 558 KB

english, 1978

11

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Basic proof theory

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 875 KB

english, 1993

12

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Reflecting the semantics of reflected proof

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1993

13

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Proofs as Programs

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1993

14

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Programme of lectures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 67 KB

english, 1993

15

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Provable computable selection functions on abstract structures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1993

16

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Logics for termination and correctness of functional programs, II. Logics of strength PRA

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1993

17

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A note on bootstrapping intuitionistic bounded arithmetic

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 787 KB

english, 1993

18

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Preface

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 68 KB

english, 1993

19

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Termination orderings and complexity characterisations

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 744 KB

english, 1993